CDMTCS Research Report Series To a Mathematical Theory of Evolution and Biological Creativity
نویسنده
چکیده
We present an information-theoretic analysis of Darwin’s theory of evolution, modeled as a hill-climbing algorithm on a fitness landscape. Our space of possible organisms consists of computer programs, which are subjected to random mutations. We study the random walk of increasing fitness made by a single mutating organism. In two different models we are able to show that evolution will occur and to characterize the rate of evolutionary progress, i.e., the rate of biological creativity.
منابع مشابه
Ehics Captured by the Genes; A Survey on Richard Dawkin’s Opinions about Ethics Based on the Theory of Evolution
As an evolutionist biologist, Dawkins has commented on some non-biological fields of knowledge such as ethics. Regarding ethics, he has utilized different areas of knowledge like social biology, evolutionary psychology, genetics etc. The most important aspect of Dawkins theory is that he negates any form of moral distinction between human and animals. His concerns about dealing with ethics orig...
متن کاملTo a mathematical theory of evolution and biological creativity
We present an information-theoretic analysis of Darwin’s theory of evolution, modeled as a hill-climbing algorithm on a fitness landscape. Our space of possible organisms consists of computer programs, which are subjected to random mutations. We study the random walk of increasing fitness made by a single mutating organism. In two different models we are able to show that evolution will occur a...
متن کاملCDMTCS Research Report Series Higher Randomness Notions and Their Lowness Properties
We study randomness notions given by higher recursion theory, establishing the relationships Π1-randomness ⊂ Π1-Martin-Löf randomness ⊂ ∆1randomness = ∆1-Martin-Löf randomness. We characterize the set of reals that are low for ∆1 randomness as precisely those that are ∆1 -traceable. We prove that there is a perfect set of such reals.
متن کاملCdmtcs Research Report Series Computable Kripke Models and Intermediate Logics
We introduce e ectiveness considerations into model theory of intuitionistic logic. We investigate e ectiveness of completeness (by Kripke) results for intermediate logics such as for example, intuitionistic logic, classical logic, constant domain logic, directed frames logic, Dummett's logic, etc.
متن کامل